loop optimization in compiler design